\preamble

Copyright (C) 1989-1992 by Frank Mittelbach. All rights reserved.

This file is part of the multicol package.

IMPORTANT NOTICE:

You are not allowed to change this file. You may however copy this file to a file with a different name and then change the copy if you obey the restrictions on file changes described in readme.mz.

You are NOT ALLOWED to distribute this file alone. You are NOT ALLOWED to take money for the distribution or use of this file (or a changed version) except for a nominal charge for copying etc.

You are allowed to distribute this file under the condition that it is distributed together with all files mentioned in readme.mz2.

If you receive only some of these files from someone, complain!

However, if these files are distributed by established suppliers as part of a complete TeX distribution, and the structure of the distribution would make it difficult to distribute the whole set of files, *those parties* are allowed to distribute only some of the files provided that it is made clear that the user will get a complete distribution-set upon request to that supplier (not me). Notice that this permission is not granted to the end user.

For error reports in case of UNCHANGED versions see readme.mz

\endpreamble

% ignored commands \def\filedate{92/08/30 \def\batchfile{docstrip.mz2 \input docstrip.tex

% styles

\generateFile{theorem.sty{t{\from{theorem.doc{style \processFile{thb{doc{sty{t \processFile{thcb{doc{sty{t \processFile{thc{doc{sty{t \processFile{thp{doc{sty{t \processFile{thmb{doc{sty{t \processFile{thm{doc{sty{t

% driver file

\generateFile{theorem.drv{t{\from{theorem.doc{drv

\Msg{*********************************************************** \Msg{* \Msg{* To finish the installation you have to move the following \Msg{* style files into a directory searched by TeX: \Msg{* \Msg{* \space\space theorem.sty \Msg{* \space\space thb.sty \Msg{* \space\space thc.sty \Msg{* \space\space thcb.sty \Msg{* \space\space thm.sty \Msg{* \space\space thmb.sty \Msg{* \space\space thp.sty \Msg{* \Msg{* To produce the documentation run the files ending with \Msg{* ‘.drv’ through LaTeX. \Msg{* \Msg{* Happy TeXing \Msg{***********************************************************

This document was generated on August 24, 2022 using texi2html 5.0.